1. American women of science since 1900 /
پدیدآورنده: Tiffany K. Wayne.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Women in science-- United States-- History-- 20th century, Dictionaries.,Women in science-- United States, Biography, Dictionaries.,Women scientists-- United States-- History-- 20th century, Dictionaries.,Women scientists-- United States, Biography, Dictionaries.,20th century.,Biography.,Dictionaries.,History.,Science.,United States.,Women in science.,Women scientists.
رده :
Q141
.
W42
2011eb
3. Studies in abstract families of languages
پدیدآورنده: Gimsburg, Seymour
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Machine theory ► Programming (Electronic Computers)
رده :
511
G493s
4. Theory of Program Structure
پدیدآورنده: / [electronic resource]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
5. Theory of program structures
پدیدآورنده : / By Sheila Greibach,Greibach
موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده: Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
7. Theory of program structures : schemes, semantics, Verification
پدیدآورنده: Sheila A, Greibach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Recursive programming,، Computer programs
رده :
QA
76
.
L28
Vol
.
36
8. Theory of program structures : schemes, semantics, verification
پدیدآورنده: Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
